Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language
نویسندگان
چکیده
We generalize precisiated natrual language by establishing a formal logic as a generalized precisiation language. In this formal logic, each proposition has a form that reflects a syntactic structure observed in natural language. Various syntactic structures are incorporated in the formal logic so that it precisiates not only perceptual propositions but also action-related propositions. The syntax of the formal logic allows us to create infinitely many precisiated propositions while ensuring that every proposition in it is precisiated. We discuss how our formal logic can effectively mediate human-robot interaction.
منابع مشابه
Precisiated Natural Language (PNL)
74 AI MAGAZINE ■ This article is a sequel to an article titled “A New Direction in AI—Toward a Computational Theory of Perceptions,” which appeared in the Spring 2001 issue of AI Magazine (volume 22, No. 1, 73–84). The concept of precisiated natural language (PNL) was briefly introduced in that article, and PNL was employed as a basis for computation with perceptions. In what follows, the conce...
متن کاملIs there a need for fuzzy logic ? q
‘‘Is there a need for fuzzy logic?” is an issue which is associated with a long history of spirited discussions and debate. There are many misconceptions about fuzzy logic. Fuzzy logic is not fuzzy. Basically, fuzzy logic is a precise logic of imprecision and approximate reasoning. More specifically, fuzzy logic may be viewed as an attempt at formalization/mechanization of two remarkable human ...
متن کاملFuzzy Logic as a Basis for Theory of Precisiation of Meaning (TPM)
The concept of precision is ubiquitous. It has a position of centrality not only in science but, more generally, in almost all domains of human reasoning and discourse. And yet, there are some fundamental issues which relate to the concept of precision that have received very little, if any, attention. One such issue is that of precisiation of natural languages. Another basic issue relates to d...
متن کاملPrecisiation of meaning - toward computation with natural language
NOTE z To facilitate understanding of the basic concepts which underlie precisiation of meaning, a clarification dialogue is included in the Appendix. z Our age is the age of information. z Information has a position of centrality in modern society. z So what is information? z 64 years ago Shannon suggested in his path-breaking work that information is what reduces uncertainty. CONTINUED z Shan...
متن کاملPrecisiating Natural Language for a Question Answering System
We report on an application of Precisiated Natural Language (PNL) concepts and protoformal deduction, which are integral to Computational Theory of Perception, and Computing with Words, as developed by Lotfi Zadeh. A semi-automated precisiation process is part of an information extraction module for a question answering system. Simplified natural language statements (containing a single verb ph...
متن کامل